// #Conformance #TypesAndModules #Modules 
// Productions
//<Expects status=success></Expects>
#light

module M2 = begin 
                ()
            end
